منابع مشابه
One-dimensional Formal Groups
In this Wednesday night section for Algebraic Number Theory, we will go through basic facts about one dimensional formal groups and hopefully get to see how they might be useful and interesting. All rings are commutative with identity. The sources of this material are my notes from Elliptic Curves, a course taught by Tom Fisher at Cambridge last year, J. Silverman’s Elliptic Curves Book. A few ...
متن کاملMatroids and Coxeter groups
The paper describes a few ways in which the concept of a Coxeter group (in its most ubiquitous manifestation, the symmetric group) emerges in the theory of ordinary matroids: • Gale’s maximality principle which leads to the Bruhat order on the symmetric group; • Jordan–Hölder permutation which measures distance between two maximal chains in a semimodular lattice and which happens to be closely ...
متن کاملOne-Dimensional Logic over Trees
A one-dimensional fragment of first-order logic is obtained by restricting quantification to blocks of existential quantifiers that leave at most one variable free. This fragment contains two-variable logic, and it is known that over words both formalisms have the same complexity and expressive power. Here we investigate the one-dimensional fragment over trees. We consider unranked unordered tr...
متن کاملOne-Dimensional Logic over Words
One-dimensional fragment of first-order logic is obtained by restricting quantification to blocks of existential quantifiers that leave at most one variable free. We investigate one-dimensional fragment over words and over ω-words. We show that it is expressively equivalent to the twovariable fragment of first-order logic. We also show that its satisfiability problem is NExpTimecomplete. Furthe...
متن کاملMatroids over a ring
We introduce the notion of a matroid M over a commutative ring R, assigning to every subset of the ground set an R-module according to some axioms. When R is a field, we recover matroids. When R = Z, and when R is a DVR, we get (structures which contain all the data of) quasi-arithmetic matroids, and valuated matroids, respectively. More generally, whenever R is a Dedekind domain, we extend the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Mathematics Research Notices
سال: 2020
ISSN: 1073-7928,1687-0247
DOI: 10.1093/imrn/rnaa175